A *(Learning Lounge) course about _(rewrite).

A good book on rewriting is ''Rewriting, solving, proving'', by Claude and Helene Kirchner, still in preliminary version. You can download a copy from _(Claude Kirchner's home page|http://www.loria.fr/~ckirchne/).

See _(Alan Bundy) for another book which contains an introduction to rewriting for the layman (chapter 9).

Learn _(Maude).

See also <a href="http://www2.tunes.org/~nef/abi/factoids.txt">the IRC bot factoids</a>. <span class="comment">Wow, we need to fix this. _(Todo)</span>

Also see _(Graph Reduction).